Dot oroduct of vectors